const char* buildtime = "Fri Oct  7 19:11:11 2011";
